I have been trying to build locksmith with the pinned versions of CIL and Banshee here. This pull request sets up an action that builds locksmith on github's ubuntu-22.04 image. On my fork, the build succeeds using the older banshee, but here something goes wrong. After some changes (reverting 67658e3), locksmith compiles and can be executed, but it doesn't terminate on my machine. The simple test doesn't work on the CI either.

I hope you can find some time to make sure locksmith builds on modern machines. Race detection for real-world C programs is still a difficult problem, and I don't fully trust any single analyzer on complicated programs. It's very useful to be able to compare the verdict of different analyzers!